منابع مشابه
Objects, Types and Modal Logics
In this paper we present a modal logic for describing properties of terms in the object calculus of Abadi and Cardelli [AC96]. The logic is essentially the modal mu-calculus of [Koz83]. The fragment allows us to express the temporal modalities of the logic CTL [BAMP83]. We investigate the connection between the type system Ob1<:μ and the mu-calculus, providing a translation of types into modal ...
متن کاملBisimulation and Modal Logics
Modal logic is a family of logics for reasoning about modalities. For example, given a sentence φ, one may wish to express statements such as “φ is necessarily true” or “φ is possibly true”. Modalities are expressed using modal operators. In the most basic modal logic, called propositional modal logic, one may use the operators 2 and 3 to formalize the above two statements as 2φ and 3φ. In this...
متن کاملModal Logics and Multiverses
This paper is a survey on modal logic of multiverses. It summarizes known results by Hamkins, Inamdar, Leibman, and the second author about the modal logics of forcing, grounds, and inner models in a general abstract setting. Most results in this survey come from a series of papers co-authored by the second author [19, 20, 18, 24]. Exceptions are the discussion of spiked Boolean algebras and th...
متن کاملModal Logics, Description Logics and Arithmetic Reasoning
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large class of modal and description logics. The class of description logics suitable for the proposed methods is strong on the arithmetical side. In particular there may be complex arithmetical conditions on sets of accessib...
متن کاملModal and Non Modal Qualitative Spatial Logics
In this paper we review previous work on non modal spatial logics and explore a corresponding modal spatial logic. Furthermore we present an initial classication of kinds of spatially indexed propositions.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BRICS Report Series
سال: 1996
ISSN: 1601-5355,0909-0878
DOI: 10.7146/brics.v3i49.20051